1. High integrity software: the Spark approach to safety and security
پدیدآورنده : Barnes, J. G. P. )John Gilbert Presslie(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Computer software-- Reliability,، Computer software-- Development,، Ada )Computer program language(
رده :
QA
76
.
76
.
R44
.
B37
2003